Carrier-phase-based relative positioning device

ABSTRACT

A carrier-phase-based relative positioning device employs a signal processing method which makes it possible to continue estimation of integer ambiguity values even when the number of positioning satellites has changed, determine an integer ambiguity value by efficiently verifying the integer ambiguities in a short time, and calculate a baseline vector. The positioning device includes an integer ambiguity resolving section which determines integer ambiguities of single or double phase differences using a Kalman filter and lambda notation. The Kalman filter is used to calculate estimated values of floating ambiguities and the lambda notation is used to calculate estimated values of the integer ambiguities based on the floating ambiguities. A candidate of a potentially true integer ambiguity that is considered most reliable is determined through various verification processes. When the number of positioning satellites has increased or decreased, or when a reference satellite has been switched, a floating ambiguity after the change in satellite information is estimated from a baseline vector estimated before the change.

BACKGROUND OF THE INVENTION AND RELATED ART STATEMENT

[0001] 1. Field of the Invention

[0002] The present invention relates generally to a carrier-phase-based relative positioning device used in such apparatus as a global positioning system (GPS) compass which determines geographic direction from multiple relative position fixes obtained by using the phases of carrier signals received from GPS satellites or a real-time kinematic (RTK) GPS receiver which determines relative positions in real time by using the carrier phases of the GPS signals.

[0003] 2. Description of the Prior Art

[0004] There exists a known method of determining relative positions by receiving radio signals transmitted from GPS satellites with multiple antennas and measuring the carrier phases of the signals. This method is conventionally used in an apparatus which determines relative positions of a mobile vehicle, such as a vessel.

[0005] Relative positions are determined in a manner described below in this kind of positioning apparatus.

[0006] A radio signal transmitted from one GPS satellite is received by multiple antennas and the phase of the carrier received by each antenna is determined. Then, using at least one pair of antennas, the difference between the phase of the carrier received by one antenna and the phase of the carrier received the by other antenna from the same GPS satellite (single phase difference) is determined. Alternatively, radio signals transmitted from two GPS satellites are received by multiple antennas and the phase of the carrier received by each antenna is determined. Then, using pairs of antennas, the difference between single phase differences obtained from the radio signals from the two GPS satellites (double phase difference) is determined. When the phase difference obtained by these methods is converted into the number of waves, the phase difference can be separated into an integral part and a fractional part. The fractional part of the phase difference can be directly measured by the measuring apparatus because it represents a value smaller than 2π in terms of carrier phase. It is however impossible to directly measure the integral part of the phase difference by the positioning apparatus. This integral part which is not directly measurable is referred to as integer bias, or ambiguity. It is possible to obtain a correct phase difference upon determining this ambiguity value. Relative positioning is made by calculating baseline vectors between a reference antenna and other antennas.

[0007] From a plurality of integer ambiguity values indirectly calculated, candidates of the potentially true integer ambiguity are obtained. Then, a single ambiguity value is selected through various verification processes and taken as the true integer ambiguity.

[0008] The aforementioned carrier-phase-based relative positioning device of the prior art has had problems shown below that should be overcome.

[0009] As stated above, the conventional carrier-phase-based relative positioning device determines carrier phase differences by constantly receiving radio signals from the same GPS satellite with multiple antennas. Each GPS satellite transmits radio waves containing a unique identification signal and the positioning device identifies and uses the radio waves transmitted from the same GPS satellite by reference to the identification signal. The carrier-phase-based relative positioning device calculates single or double phase differences upon receiving the radio waves from a specific GPS satellite in this way and determines the integer ambiguity and baseline vector based on these observations.

[0010] As long as continued reference is made to the radio waves transmitted from the same GPS satellite, the integer ambiguity does not vary with time. Thus, once an integer ambiguity value has been determined, it is possible to estimate the true integer ambiguity by reference to that integer ambiguity.

[0011] Since each GPS satellite orbits earth, however, its position varies with the lapse of time. Therefore, the angle of elevation of the GPS satellite varies from a high value to a low value, and vice versa. When the elevation of the GPS satellite varies from a high angle to an angle less than a specific value, it would become no longer possible to receive the radio waves transmitted from the GPS satellite with the antennas. On the other hand, when the elevation of the GPS satellite varies from a low angle to an angle above the specific value, the radio waves transmitted from the GPS satellite which could not been received by the antennas would become possible to receive from a particular point in time onward. For this reason, the number of GPS satellites from which the antennas can receive radio waves varies with the lapse of time

[0012] The carrier-phase-based relative positioning device normally calculates the integer ambiguity and baseline vector by reference to radio waves from as many GPS satellites as possible to obtain accurate position information. Therefore, if the number of satellites changes during the course of calculation, it is necessary to recalculate the integer ambiguity from the beginning. This is time-consuming and results in a waste of already accumulated data.

[0013] The aforementioned method of determining the integer ambiguity using the double phase difference requires a satellite to be used as a reference (hereinafter referred to as the reference satellite). In the double phase difference method, it becomes impossible to estimate the integer ambiguity value when it becomes impossible to receive radio waves from the reference satellite. When the elevation of the reference satellite becomes low, for example, it would become impossible for the antennas to receive the radio waves from the reference satellite, making it impossible to calculate the double phase difference. In such a case, it is necessary at that point in time to switch the reference satellite to another GPS satellite of which radio waves can be received by the antennas. Again, it becomes impossible in this case to continue estimation of the integer ambiguity value, making it necessary to recalculate the integer ambiguity from the beginning.

[0014] In verifying candidates of the potentially true integer ambiguity obtained as described above by the aforementioned conventional methods, there can arise a case where a wrong integer ambiguity value is chosen as the true integer ambiguity. This kind of error is likely to occur when the number of GPS satellites is small. Such errors could more or less occur in verifying the candidates of the true integer ambiguity no matter what kind of currently available verification process is used. The more stringent the verification process used in verifying the candidates of the true integer ambiguity, the more reliable the integer ambiguity obtained. A stringent verification process results in an extended measuring time, however. On the contrary, it would be possible to obtain a potentially true integer ambiguity in a short time if verification is carried out with somewhat broader range of permissible deviations. This, however, results in poorer accuracy. What is needed in carrier-phase-based relative positioning is a method of verifying the candidates of the potentially true integer ambiguity in a short time with a reduced possibility of errors.

SUMMARY OF THE INVENTION

[0015] In light of the aforementioned problems of the prior art, it is an object of the invention to provide a carrier-phase-based relative positioning device employing a signal processing method which makes it possible to continue estimation of integer ambiguity values even when the number of GPS satellites (positioning satellites) has changed, determine a true integer ambiguity value by efficiently verifying the integer ambiguities in a short time, and calculate a baseline vector.

[0016] According to the invention, a carrier-phase-based relative positioning device comprises means for estimating an integer ambiguity and a baseline vector and means for verifying the integer ambiguity, wherein a new integer ambiguity is estimated from the previously estimated baseline vector or integer ambiguity when the number of positioning satellites has changed or when a positioning satellite used as a reference (reference satellite) has been switched. When the number of positioning satellites has changed or when the reference satellite has been switched, the positioning device thus constructed can continue estimation of the integer ambiguity using the integer ambiguity or the baseline vector which has so far been determined without the need to estimate the integer ambiguity from the beginning. Accordingly, it becomes unnecessary to newly estimate the integer ambiguity from a single or double phase difference so that the integer ambiguity can be quickly determined with ease.

[0017] In-one feature of the invention, when the number of positioning satellites has increased, the new integer ambiguity is estimated from the baseline vector estimated before the number of positioning satellites has increased. With this arrangement, the positioning device can continue estimation of the integer ambiguity without interrupting estimation process carried out up to the point of change in the number of positioning satellites, using also radio waves received from a newly observed positioning satellite. Thus, the positioning device can easily and uninterruptedly estimate the integer ambiguity even when the number of positioning satellites has increased.

[0018] In another feature of the invention, when the number of positioning satellites has decreased, the new integer ambiguity is estimated by removing an estimated value of the integer ambiguity derived from the positioning satellite which has become unobservable. With this arrangement, the positioning device can continue estimation of the integer ambiguity without interrupting estimation process carried out up to the point of change in the number of positioning satellites, excluding information derived from the positioning satellite which has become unobservable. Thus, the positioning device can easily and uninterruptedly estimate the integer ambiguity even when the number of positioning satellites has decreased.

[0019] In another feature of the invention, a double phase difference is used for estimating the integer ambiguity and, when the reference antenna has been switched, the integer ambiguity after the switching of the reference antenna is estimated by using a difference operation method for calculating the integer ambiguity and the baseline vector in response to the reference antenna switching. This arrangement makes it possible to easily estimate the integer ambiguity by reference to the baseline vector obtained immediately before reference antenna switching.

[0020] In another feature of the invention, the means for verifying and determining the integer ambiguity determines the integer ambiguity when the reliability of the integer ambiguity has been verified a specific number of times from its successively detected estimated values. With this arrangement, the number of times the same estimated value of the integer ambiguity recurs is counted to ascertain the reliability of the determined integer ambiguity with high accuracy.

[0021] In another feature of the invention, the means for verifying and determining the integer ambiguity determines the integer ambiguity when the same estimated value of the integer ambiguity has been successively detected a specific number of times. With this arrangement, the number of times the same estimated value of the integer ambiguity recurs successively is counted to ascertain the reliability of the determined integer ambiguity with higher accuracy.

[0022] In still another feature of the invention, the positioning device uses a Kalman filter for estimating a floating ambiguity and the baseline vector from which the integer ambiguity is determined. This arrangement makes it possible to simultaneously estimate and calculate the floating ambiguity and the baseline vector with improved reliability.

[0023] In yet another feature of the invention, the means for estimating and determining candidates of the integer ambiguity based on the floating ambiguity uses lambda notation. This arrangement makes it possible to easily estimate and calculate the integer ambiguity with improved reliability.

[0024] These and other objects, features and advantages of the invention will become more apparent upon reading the following detailed description in conjunction with the accompanying drawings.

BRIEF DESCRIPTION OF THE DRAWINGS

[0025]FIG. 1 is a block diagram of a carrier-phase-based relative positioning device according to a first embodiment of the invention;

[0026]FIG. 2 is a block diagram showing mathematical operation performed by a Kalman filter;

[0027]FIG. 3 is a flowchart showing the mathematical operation performed by the Kalman filter;

[0028]FIG. 4 is a flowchart showing operation for determining an integer ambiguity; and

[0029]FIG. 5 is a flowchart showing operation for determining an integer ambiguity using an alternative verification method.

DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS OF THE INVENTION

[0030] First, a carrier-phase-based relative positioning device according to a first embodiment of the invention is described with reference to FIGS. 1 to 3.

[0031]FIG. 1 is a block diagram of the carrier-phase-based relative positioning device of the first embodiment, in which designated by the symbols sat1, sat2 and satN are GPS satellites (positioning satellites).

[0032] A GPS receiver block including two antennas ANT1, ANT2 receives radio waves transmitted from the GPS satellites sat1, sat2, satN, downconverts received signals into intermediate frequency (IF) signals. The IF signals are amplified by an amplifier built in the GPS receiver block and delivered to a GPS receiver block.

[0033] Based on the signals received by the individual antennas ANT1, ANT2, the GPS receiver block calculates the positions of the antennas ANT1, ANT2 and carrier phase differences, and sends these data together with information on the individual GPS satellites sat1, sat2, satN to a positioning processor block at specific time intervals (a few tens of milliseconds to a few seconds).

[0034] The positioning processor block includes a satellite planning section, a phase difference calculating section, an integer ambiguity resolving section, a position calculating section and a reinitialization judgment section.

[0035] The satellite planning section selects positioning satellites to be used for positioning based on ephemeris information and antenna position information and gives information on the positions of the selected positioning satellites and on the positioning satellites themselves to the phase difference calculating section.

[0036] The phase difference calculating section calculates observables of single or double phase differences from the information received from the satellite planning section and from a carrier phase difference signal received from the GPS receiver block and delivers resultant phase difference information to the integer ambiguity resolving section.

[0037] The integer ambiguity resolving section determines integer ambiguities of the single or double phase differences using a Kalman filter and lambda notation and delivers integer ambiguity information to the position calculating section. The Kalman filter calculates estimated values of floating ambiguities and baseline vectors, and estimated values of the integer ambiguities are calculated based on the floating ambiguities using the lambda notation. The integer ambiguities thus calculated are verified and sent to the position calculating section.

[0038] The position calculating section calculates relative positions of the antennas ANT1, ANT2 based on the satellite information given from the satellite planning section, the phase difference information given from the phase difference calculating section and the integer ambiguities and the baseline vectors given from the integer ambiguity resolving section.

[0039] In the aforementioned process, the floating ambiguities and the baseline vectors are simultaneously verified by mathematical operation using the Kalman filter.

[0040] The reinitialization judgment section verifies the integer ambiguities already determined at a given point in time.

[0041] Next, a method of calculating the floating ambiguities by the Kalman filter is described.

[0042] A linear discrete probability system is employed for estimating the floating ambiguities and the baseline vectors using the Kalman filter. The linear discrete probability system is made up of an observation system and a dynamic system which are given by the following equations, respectively:

[0043] Observation System

Y _(k) =H _(k) X _(k) +V _(k)  (1)

[0044] Dynamic System

x _(k+1) =Φ _(k) x _(k) +D _(k) u _(k) +G _(k) w _(k)  (2)

[0045] where x_(k) is a state vector, u_(k) is a control input vector, y_(k) is a observable vector, w_(k) is system noise, v_(k) is observation noise, Φ_(k) is a state transition matrix, D_(k) is a control input matrix and H_(k) is an observable matrix.

[0046] When the observables are double phase differences, the observable vector y_(k) is a double phase difference, the state vector x_(k) and the observable matrix H_(k) are expressed as: $\begin{matrix} {{x_{k} = \begin{bmatrix} b_{k} \\ a_{k} \end{bmatrix}},{H_{k} = \left\lbrack {B_{k},A_{k}} \right\rbrack}} & (3) \end{matrix}$

[0047] respectively, where B_(k) is a direction cosine matrix, b_(k) is a baseline vector, A_(k) is a quantity equal to wavelenth times a unit matrix and a_(k) is floating ambiguity. The direction cosine matrix B_(k) can be calculated from a single measurement and the quantity wavelenth times the unit matrix A_(k) is a fixed value calculated from the wavelenth of the carrier. Substituting these values in a filter equation, y_(k) is expressed as follows: $\begin{matrix} {y_{k} = {{{\left\lbrack {B_{k},A_{k}} \right\rbrack \begin{bmatrix} b_{k} \\ a_{k} \end{bmatrix}} + v_{k}} = {{B_{k}b_{k}} + {A_{k}a_{k}} + v_{k}}}} & (4) \end{matrix}$

[0048] If the distance is expressed in terms of wavelenths (or the number of cycles) of the carrier, the quantity wavelenth times the unit matrix A_(k) can be replaced by a unit matrix I. Thus, equation (4) can be rewritten in a simplified form shown below: $\begin{matrix} {y_{k} = {{{\left\lbrack {B_{k},I} \right\rbrack \begin{bmatrix} b_{k} \\ a_{k} \end{bmatrix}} + v_{k}} = {{B_{k}b_{k}} + a_{k} + v_{k}}}} & (5) \end{matrix}$

[0049] The aforementioned dynamic system is now described assuming a situation in which a unit vector b_(k) at time k and a unit vector b_(k+1) at time k+1 are approximately same to each other.

[0050] (a) When there is no change in the number of positioning satellites or in the positioning satellite used as a reference (reference satellite)

[0051] In a case where there is no change in reference satellite information, neither the baseline vector b_(k) nor the floating ambiguity a_(k) changes. Therefore, the dynamic system can be expressed by equation (6) below: $\begin{matrix} {\begin{bmatrix} b_{k + 1} \\ a_{k + 1} \end{bmatrix} = {{\begin{bmatrix} I & O \\ O & I \end{bmatrix}\begin{bmatrix} b_{k} \\ a_{k} \end{bmatrix}} + \begin{bmatrix} w_{bk} \\ w_{ak} \end{bmatrix}}} & (6) \end{matrix}$

[0052] which is the result of substituting the following equation into equation (2) which expresses the dynamic system: $\begin{matrix} {{x_{k} = \begin{bmatrix} b_{k + 1} \\ a_{k + 1} \end{bmatrix}},{\Phi_{k} = \begin{bmatrix} I & O \\ O & I \end{bmatrix}},{D_{k} = I},{u_{k} = 0},{G_{k} = I},{w_{k} = \begin{bmatrix} w_{bk} \\ w_{ak} \end{bmatrix}}} & (7) \end{matrix}$

[0053] (b) When there are changes in the number of positioning satellites and in the reference satellite

[0054] In a case where there is a change in the reference satellite information, the floating ambiguity a_(k) varies although the baseline vector b_(k) does not vary. As it is impossible to estimate floating ambiguity a_(k+1) from the floating ambiguity a_(k) in this case, the former is estimated by a method described below.

[0055] Because the baseline vector b_(k), b_(k+1) does not vary with time, baseline vector b_(k+1) can be expressed as follows using part of equation (6) related to the baseline vector b_(k):

b _(k+1) =b _(k) +W _(bk)  (8)

[0056] Also, from equation (5), the floating ambiguity a_(k+1) is obtained as follows:

y _(k+1) =B _(k+1) b _(k+1) +a _(k+1) +v _(k+1)

a _(k+1) =y _(k+1) −B _(k+1) b _(k+1) −v _(k+1)  (9)

[0057] Thus, the dynamic system can be expressed by equation (10) below: $\begin{matrix} {\begin{bmatrix} b_{k + 1} \\ a_{k + 1} \end{bmatrix} = {{\begin{bmatrix} I & O \\ {- B_{k + 1}} & O \end{bmatrix}\begin{bmatrix} b_{k} \\ a_{k} \end{bmatrix}} + \begin{bmatrix} o \\ y_{k + 1} \end{bmatrix} + \begin{bmatrix} w_{bk} \\ {w_{ak} - v_{k + 1}} \end{bmatrix}}} & (10) \end{matrix}$

[0058] which is the result of substituting the following equation into equation (2) which expresses the dynamic system: $\begin{matrix} {{x_{k + 1} = \begin{bmatrix} b_{k + 1} \\ a_{k + 1} \end{bmatrix}},{\Phi_{k} = \begin{bmatrix} I & O \\ {- B_{k + 1}} & O \end{bmatrix}},{D_{k} = I},{u_{k} = 0},{G_{k} = I},{w_{k} = \begin{bmatrix} w_{bk} \\ {w_{ak} - v_{k + 1}} \end{bmatrix}}} & (11) \end{matrix}$

[0059] It is possible to use the Kalman filter for obtaining the baseline vector and floating ambiguity using double phase differences as observables as seen above.

[0060] Next, the observation noise v_(k) and the system noise w_(k) are determined to resolve this equation. To use the Kalman filter, we need a covariance matrix R_(k) of the observation noise v_(k) and a covariance matrix Q_(k) of the system noise w_(k). Here, the observation noise v_(k), the system noise w_(k), the covariance matrix R_(k) and the covariance matrix Q_(k) should satisfy the following conditions: $\begin{matrix} \begin{matrix} {{{E\left\lbrack w_{k} \right\rbrack} = 0},{{E\left\lbrack {w_{k}w_{j}^{T}} \right\rbrack} = {Q_{k}\delta_{kj}}},{{E\left\lbrack {w_{k}v_{j}^{T}} \right\rbrack} = 0}} \\ {{{E\left\lbrack v_{k} \right\rbrack} = 0},{{E\left\lbrack {v_{k}v_{j}^{T}} \right\rbrack} = {R_{k}\delta_{kj}}},{{E\left\lbrack {v_{k}w_{j}^{T}} \right\rbrack} = 0}} \\ {{{E\left\lbrack {w_{k}x_{j}^{T}} \right\rbrack} = 0},{{E\left\lbrack {v_{k}x_{j}^{T}} \right\rbrack} = 0},{k \geq j}} \end{matrix} & (12) \end{matrix}$

[0061] where E[*} represents averaging operation of each vector and matrix and δ_(kj) is a Kronecker's delta.

[0062] As equations (4), (6) and (10) satisfy the set of equations (12) above, the individual covariance matrices R_(k), Q_(k) should be calculated to determine the observation noise v_(k) and the system noise w_(k).

[0063] Since an observable of the observation noise v_(k) is a double phase difference, the observation noise v_(k) corresponds to observation noise expressed by a double phase difference, which can be obtained by the following procedure.

[0064] First, the baseline vector b_(k) is measured with the carrier-phase-based relative positioning device held at a fixed location and, then, a double phase difference and a direction cosine difference matrix are determined. Using these data and assuming that the double phase difference calculated from the measured baseline vector b_(k) and the direction cosine difference matrix is a true value, the difference between that value and the double phase difference calculated from radio wave information received from positioning satellites is calculated. Since the observation noise v_(k) expressed in terms of the double phase difference is sufficiently small compared with the wavelenth of the carrier, the observation noise v_(k) can be regarded as a fractional part of the double phase difference expressed in terms of the number of carrier wave cycles. Thus, the variance of this fractional part is calculated and a matrix of which diagonal elements are variance values is used as the covariance matrix R_(k) of the observation noise v_(k).

[0065] The system noise w_(k) should be discussed taking into consideration two cases, that is, the case where there is no change in the positioning satellites and the case where there is a change in the positioning satellites as shown by equations (6) and (10), respectively.

[0066] (a) When there is no change in positioning satellites

[0067] There are two types of system noises w_(ak) and w_(bk) in the system noise w_(k) as shown in equations (6). Since w_(ak) and w_(bk) are not correlated with each other, the covariance matrix Q_(k) of the system noise w_(k) can be expressed as follows: $\begin{matrix} {Q_{k} = \begin{bmatrix} Q_{bk} & 0 \\ 0 & Q_{ak} \end{bmatrix}} & (13) \end{matrix}$

[0068] where Q_(ak) is a covariance matrix of w_(ak) and Q_(bk) is a covariance matrix of W_(bk).

[0069] Because the baseline vector b_(k) at the time k and the baseline vector b_(k+1) at the time k+1 are same as previously mentioned, the system noise w_(bk) is always 0 when the two antennas ANT1, ANT2 for measuring double phase differences are fixed. If one of the antennas ANT1, ANT2 is installed on a mobile vehicle, the system noise w_(bk) can be determined according to variations in the baseline vector between the time k and the time k+1. As an example, if the speed of the mobile vehicle is known although the direction of its movement is unknown, the system noise w_(bk) is determined according to the value of the speed times elapsed time.

[0070] Similarly, the floating ambiguity does not vary with time and the system noise w_(ak) is an error of the floating ambiguity, so that the system noise w_(ak) can also be regarded as 0. Therefore, system noise W_(bk) is also a zero matrix.

[0071] (b) When there is a change in positioning satellites

[0072] The covariance matrix Q_(bk) of the system noise w_(bk) and s is same as in the aforementioned case (a), since there is no change in the baseline vector b_(k). The value w_(ak)−v_(k+1) has an error equal to v_(k+1) which is an error of the observation noise v_(k). Therefore, as in the case of the aforementioned observation error v_(k), the covariance matrix Q_(bk) can be calculated as a covariance matrix Q′_(ak) of w_(ak)−v_(k+1).

[0073] Thus, the covariance matrix Q_(k) of the system noise w_(k) can be expressed as follows: $\begin{matrix} {Q_{k} = \begin{bmatrix} Q_{bk} & 0 \\ 0 & Q_{ak}^{\prime} \end{bmatrix}} & (14) \end{matrix}$

[0074] It is necessary to specify initial conditions to perform the aforementioned mathematical operation by the Kalman filter. The initial conditions include initial values of the baseline vector and the floating ambiguity as well as their covariance matrices. These initial values and covariance matrices are calculated from results of independent measurements obtained by using code information of the individual positioning satellites. The independent measurements enable calculation of position fixes with each of the antennas ANT1, ANT2 alone, separately from relative positioning using the carrier phase, so that the individual initial values and covariance matrices can be calculated from the results of the independent measurements.

[0075] Referring now to FIGS. 2 and 3, a procedure of mathematical operation performed by the Kalman filter is explained.

[0076]FIG. 2 is a block diagram showing the mathematical operation performed by the Kalman filter, and FIG. 3 is a flowchart of the mathematical operation.

[0077] The block diagram of FIG. 2 can be rewritten as follows in the form of filter equations:

{circumflex over (X)} _(k+1/k)=Φ_(k) {circumflex over (X)} _(k/k) +D _(k) u _(k)

{circumflex over (x)} _(k/k) ={circumflex over (x)} _(k/k−1) +K _(k) [y _(k) −H _(k) {circumflex over (x)} _(k/k−)]  (15)

[0078] where K_(k) is a matrix representing filter gain which can be expressed as follows:

K _(k) =P _(k/k−1) H _(k) ^(t) [H _(k) P _(k/k−1) H _(k) ^(t) +R _(k)]⁻¹  (16)

[0079] where P_(k/k−1) is a covariance matrix which is obtained from the following equations:

P _(k+1/k)=Φ_(k) P _(k/k)Φ_(k) ^(t) +G _(k) Q _(k) G _(k) ^(t)

P _(k/k) =P _(k/k−1) −K _(k) H _(k) P _(k/k−1)  (17)

[0080] Also, the initial conditions can be expressed as follows:

{circumflex over (x)} _(0/−1) =E[x ₀ ]P _(0/−1) =E[(x ₀ −{overscore (x)} ₀)(x ₀ −{overscore (x)} ₀)′]  (18)

[0081] The aforementioned operation flow of the Kalman filter is now described referring to the flowchart of FIG. 3.

[0082] First, the initial conditions (an estimated value of x_(0/0) and its covariance matrix P_(0/0)) are determined based on the independent measurements obtained with the individual antennas ANT1, ANT2 (step S01). Next, a judgment is made to determine whether there is any change in the satellite information or not (step S02).

[0083] If there is no change in the satellite information, individual vectors and matrices are obtained from observations or particular vectors and matrices are set and time is updated using the filter equation (15) and covariance equation (17) (step S04). After updating the time, an estimated value of a state vector x_(k/k) and its estimated covariance matrix P_(k/k) are determined using the double phase difference y_(k) which is an observable as well as the filter equation (15), covariance equation (17) and equation (16) representing the filter gain (steps S05 to S09).

[0084] If there is a change in the satellite information, on the other hand, time is updated in the same manner as in the case of no change in the satellite information and, using the state vector and covariance equation obtained before the change, a new state vector x_(k/k) is estimated and an estimated covariance matrix P_(k/k) is calculated (steps S06 to S09).

[0085] When a single solution of the state vector has been obtained after repeatedly and time-sequentially executing the aforementioned mathematical operation, candidates of the state vector to be taken as the baseline vector and of floating ambiguities are determined.

[0086] Candidates of the potentially true integer ambiguity are calculated based on the floating ambiguities thus estimated using. the lambda notation. In the lambda notation, the candidates of the potentially true integer ambiguity are calculated as follows:

(a−α)¹ ·Q _(α) ⁻¹·(a−α)≦x ²  (19)

[0087] where a is a candidate of the potentially true integer ambiguity, α is a floating ambiguity, Q_(α) ⁻¹ is a variance-covariance matrix and x² is the threshold of a norm.

[0088] Specifically, each candidate a of the potentially true integer ambiguity is substituted in the inequality (19) which uses the floating ambiguity a and the variance-covariance matrix Q_(α) ⁻¹ of the floating ambiguity. If the calculated value of the left side of the inequality (19) is equal to or smaller than the threshold x² of the norm, the candidate a of the potentially true integer ambiguity is regarded as true and the result is calculated, in which the threshold x² of the norm is set according to search volume in the actual positioning device.

[0089] It is possible to obtain an integer ambiguity yet more precisely by generating candidates of the potentially true integer ambiguity using the lambda notation as seen above.

[0090] While the lambda notation is used for generating candidates of the potentially true integer ambiguity in the present embodiment, any of other appropriate methods may be used for calculating candidates of the potentially true integer ambiguity from floating ambiguities. One of the simplest methods would be, for example, to round off the fractional part of the floating ambiguity. Although this alternative approach would give poorer accuracy, it should help increase processing speed.

[0091] Next, a method of verification is described referring to FIGS. 4 and 5. FIG. 4 is a flowchart showing operation for determining the integer ambiguity.

[0092] Upon receiving various observables mentioned above, the positioning device estimates floating ambiguities by using the Kalman filter and generates candidates of the potentially true integer ambiguity by using the lambda notation as shown in FIG. 4 (steps S1 and S2). The candidates of the potentially true integer ambiguity thus obtained are subjected to various forms of verification and a candidate of the potentially true integer ambiguity that is considered most reliable at a particular point in time is calculated (steps S3 and S4), where the forms of verification include (1) verification by the baseline vector, (2) verification by the residual sum of squares, and (3) verification by the inner product.

[0093] If only one candidate of the potentially true integer ambiguity is obtained, the number of times that the particular candidate having the same value occurs is counted by reference to the repeatedly and time-sequentially calculated candidates of the potentially true integer ambiguity (step S5). When the count value, or the number of times the particular candidate of the same value is detected, exceeds a preset value (number of times), the same candidate is determined as the integer ambiguity (steps S6 and S7).

[0094] If the number of candidates of the potentially true integer ambiguity is not one in step S4, the number of times the particular candidate of the integer ambiguity is detected is regarded as 0 and a current process of determining the integer ambiguity is aborted at that point in time (steps S8 and S9). When the number of times the particular candidate of the same value is detected does not exceed the preset value in step S6, the current process of determining the integer ambiguity is also aborted at that point in time (step S9). In such cases, the integer ambiguity is estimated again by using the Kalman filter and the lambda notation.

[0095] It is possible to determine the integer ambiguity in a reliable fashion and lessen the possibility of determining on a wrong integer ambiguity by estimating and verifying candidates of the potentially true integer ambiguity by the aforementioned method.

[0096] An alternative method of verification is now described referring to FIG. 5, which is a flowchart showing operation for determining an integer ambiguity using the alternative verification method.

[0097] According to the verification method shown in FIG. 5, if only one candidate of the potentially true integer ambiguity is obtained, the number of times that the particular candidate having the same value successively occurs is counted by reference to the repeatedly and time-sequentially calculated candidates of the potentially true integer ambiguity (steps S4′ and S5). The operation flow of FIG. 5 is otherwise same as that of the verification method shown in FIG. 4.

[0098] It is possible to determine the integer ambiguity in a more reliable fashion by estimating and verifying candidates of the potentially true integer ambiguity by the aforementioned method than by the method of FIG. 4, whereby the possibility of determining on a wrong integer ambiguity can be further reduced.

[0099] Because the verification method shown in FIG. 5 is more stringent than that shown in FIG. 4 in terms of conditions for resolving the integer ambiguity, the verification method of FIG. 5 requires a longer time for determining the integer ambiguity, although it helps improve the reliability of the resolved integer ambiguity. In other words, there is always a trade-off between the reliability of the resolved integer ambiguity and the time required for determining the integer ambiguity. As higher priority is placed on the reliability of the resolved integer ambiguity in currently available systems, it is possible to reliably determine the integer ambiguity by using the verification method of FIG. 5 although it requires a longer measurement time. Even with the verification method of FIG. 4, it is possible to ensure sufficiently high reliability of the resolved integer ambiguity compared to reliability achievable with the prior art, because the verification method of FIG. 4 verifies the integer ambiguity not only by simply examining it but also by repeatedly examining the result of verification.

[0100] It is difficult to use the verification method shown in FIG. 5 in a case where there is a change in the satellite information. This is because the integer ambiguity can not be resolved unless estimated values (candidates) of the integer ambiguity successively take the same value in the verification method of FIG. 5. More specifically, when the number of positioning satellites has increased or decreased, or when the reference satellite is altered, the estimated value of the integer ambiguity could more or less vary, because the integer ambiguity is estimated based on the baseline vector. Therefore, it becomes difficult to determine the integer ambiguity when there is a change in the satellite information.

[0101] In such cases, the integer ambiguity can be determine more efficiently by using the verification method of FIG. 4.

[0102] Next, the configuration of a carrier-phase-based relative positioning device according to a second embodiment of the invention is described.

[0103] (1) When the number of positioning satellites increases

[0104] In this case, floating ambiguities and baseline vectors are estimated using the same method as in the first embodiment.

[0105] (2) When the number of positioning satellites decreases

[0106] In this case, the filter equation is expressed as follows: $\begin{matrix} {\begin{bmatrix} b_{k + 1} \\ a_{k + 1} \end{bmatrix} = {{\begin{bmatrix} I & O \\ O & T_{1} \end{bmatrix}\quad\begin{bmatrix} b_{k} \\ a_{k} \end{bmatrix}} + \begin{bmatrix} w_{bk} \\ w_{ak} \end{bmatrix}}} & (20) \end{matrix}$

[0107] where T₁ is a matrix obtained by multiplying a row of a unit matrix I corresponding to a positioning satellite which has become unobservable by 0. As an example, when one (corresponding to the third row) of 12 positioning satellites which could be observed becomes unobservable, the matrix T₁ is expressed as follows, wherein every element of the third row of the unit matrix is multiplied by 0. $\begin{matrix} {T_{1} = \begin{bmatrix} 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 \end{bmatrix}} & (21) \end{matrix}$

[0108] It is possible to eliminate information from the positioning satellite which has become unobservable by using the filter equation shown above and, then, floating ambiguities can estimated again under conditions where the number of positioning satellites has decreased.

[0109] (3) When the reference satellite has changed

[0110] When the reference satellite is switched from an ith positioning satellite to a jth positioning satellite, for example, the double phase difference taken from a kth positioning satellite can be replaced as follows by performing a difference operation method shown below.

[0111] In a case where the ith positioning satellite has been the previous reference satellite, the double phase difference taken from the kth positioning satellite can be expressed as

∇Δφ_(ki)=Δφ_(k)−Δφ_(i)  (22)

[0112] and the double phase difference taken from the jth positioning satellite can be expressed as

∇Δφ_(ji)=Δφ_(j)−Δφ_(i)  (23)

[0113] where Δφ_(i), Δφ_(j) and Δφ_(k) are single phase differences obtained from the individual positioning satellites and ∇Δφ_(ki) and ∇Δφ_(ji) are the double phase differences.

[0114] Subtracting the right side of equation (23) from the right side of equation (22),

∇Δφ_(kj)=Δφ_(k)−Δφ_(j)  (24)

[0115] which represents the double phase difference (left side of equation (24)) of the kth positioning satellite referenced to the jth positioning satellite.

[0116] Using the result of difference operation shown above, the filter equation applicable when the reference satellite is altered can be expressed as follows: $\begin{matrix} {\begin{bmatrix} b_{k + 1} \\ a_{k + 1} \end{bmatrix} = {{\begin{bmatrix} I & O \\ O & T_{2} \end{bmatrix}\quad\begin{bmatrix} b_{k} \\ a_{k} \end{bmatrix}} + \begin{bmatrix} w_{bk} \\ w_{ak} \end{bmatrix}}} & (25) \end{matrix}$

[0117] where T₂ is a matrix obtained by subtracting 1 from all elements of a row of the unit matrix I corresponding to a positioning satellite which has been-newly chosen as the reference satellite and multiplying a row of the unit matrix I corresponding to a positioning satellite which has become unobservable by 0. A situation in which the reference satellite is altered and the number of observable positioning satellites decreases at the same time is taken into account in the above equation.

[0118] Provided that there are 12 positioning satellites observed at least at one of measurement epochs k and k+1, the reference satellite has been switched to a positioning satellite corresponding to the third row of the matrix, and the positioning satellites corresponding to the seventh and ninth to twelfth rows have been observed at only one of the measurement epochs k and k+1, for example, the matrix T₂ is expressed as follows: $\begin{matrix} {T_{2} = \begin{bmatrix} 1 & 0 & {- 1} & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 1 & {- 1} & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & {- 1} & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & {- 1} & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & {- 1} & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & {- 1} & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \end{bmatrix}} & (26) \end{matrix}$

[0119] It is possible to easily estimate floating ambiguities and baseline vectors by setting the filter equation as shown above even when a change has occurred in the satellite information.

[0120] Next, the configuration of a carrier-phase-based relative positioning device according to a third embodiment of the invention is described.

[0121] While the aforementioned first and second embodiments employ the Kalman filter for estimating only the baseline vector b_(k) and the floating ambiguity a_(k), the third embodiment employs a Kalman filter capable of estimating not only the baseline vector b_(k) and the floating ambiguity a_(k) but also a multipath error v_(k), which is observation noise, at the same time.

[0122] In this case, the filter equation representing time update is expressed as follows:

[0123] (1) When there is no change in the satellite information $\begin{matrix} \begin{matrix} {\begin{bmatrix} b_{k + 1} \\ a_{k + 1} \\ v_{k + 1} \end{bmatrix} = {{\begin{bmatrix} B_{k + 1}^{+} & O & {\alpha \quad B_{k + 1}^{+}} \\ O & I & O \\ O & O & {\left( {1 - \alpha} \right)I} \end{bmatrix}\begin{bmatrix} b_{k} \\ a_{k} \\ v_{k} \end{bmatrix}} +}} \\ {{\begin{bmatrix} {B_{k + 1}^{+}\left( {y_{k + 1} - y_{k}} \right)} \\ o \\ o \end{bmatrix} + \begin{bmatrix} w_{bk} \\ w_{ak} \\ w_{vk} \end{bmatrix}}} \end{matrix} & (27) \end{matrix}$

[0124] where B_(k+1) ⁺=(B_(k+1) ^(t)B_(k+1))⁻¹B_(k+1) ^(t) and α is a constant representing a property of multipath errors.

[0125] Mathematical operation of this filter equation can be performed in the same fashion as in the foregoing embodiments to estimate the baseline vector b_(k), floating ambiguity a_(k) and multipath error v_(k).

[0126] (2) When there is a change in the satellite information $\begin{matrix} \begin{matrix} {\begin{bmatrix} b_{k + 1} \\ a_{k + 1} \\ v_{k + 1} \end{bmatrix} = {{\begin{bmatrix} {{B^{\prime}}_{k + 1}^{+}B_{k}^{\prime}} & O_{3*12} & {\alpha \quad {B^{\prime}}_{k + 1}^{+}T_{3}} \\ {B_{k + 1}{B^{\prime}}_{k + 1}^{+}B_{k}^{\prime}} & O_{12*12} & {{- \left( {1 - \alpha + {\alpha \quad {B^{\prime}}_{k + 1}^{+}}} \right)}T_{3}} \\ O_{12*3} & O_{12*12} & {\left( {1 - \alpha} \right)T_{3}} \end{bmatrix}\begin{bmatrix} b_{k} \\ a_{k} \\ v_{k} \end{bmatrix}} +}} \\ {{\begin{bmatrix} {{B^{\prime}}_{k + 1}^{+}\left( {y_{k + 1}^{\prime} - y_{k}^{\prime}} \right)} \\ {{{- B_{k + 1}}{{B^{\prime}}_{k + 1}^{+}\left( {y_{k + 1}^{\prime} - y_{k}^{\prime}} \right)}} + y_{k + 1}} \\ o \end{bmatrix} + \begin{bmatrix} w_{bk}^{\prime} \\ w_{ak}^{\prime} \\ w_{vk}^{\prime} \end{bmatrix}}} \end{matrix} & (28) \end{matrix}$

[0127] where B′_(k+1) ⁺=(B′_(k+1) ^(t)B′_(k+1))⁻¹B′_(k+1) ^(t) and α is a constant representing a property of multipath errors.

[0128] A time difference (y′_(k+1)−y′_(k)) between double phase differences used for updating the time of the baseline vector b_(k) is calculated as follows.

[0129] (a) When the reference satellite is switched

[0130] Since the baseline vector b_(k+1) after switching of the reference satellite does not significantly vary from the baseline vector b_(k) before the switching of the reference satellite, a double phase difference at the epoch k is recalculated by using the reference satellite (new reference satellite) at the epoch k+1. Also, additional conditions are added such that a positioning satellite newly observed at the epoch k+1 would not be specified as the reference satellite.

[0131] (b) When the number of positioning satellites increases or decreases

[0132] In this case, only such double phase differences that can be observed at both the epochs k and k+1 are used.

[0133] This operation is similarly performed on the direction cosine matrix B′_(k) as well.

[0134] A matrix T₃ representing conversion of an estimated value of the multipath error v_(k) occurring when there is a change in the satellite information is generated as described below.

[0135] In the unit matrix I, 1 is subtracted from all elements in a column corresponding to a newly specified reference satellite and 0 is multiplied to all elements in each row corresponding to a positioning satellite which is not observed at either the epoch k or k+1. This matrix T₃ has the same rows and columns as the aforementioned matrix T₂.

[0136] As a consequence, it is possible to switch the matrix corresponding to the aforementioned reference satellite and eliminate the influence of positioning satellites which are not observed. This Kalman filter also makes it possible to estimate the baseline vector b_(k) and candidates of the floating ambiguity a_(k) by the aforementioned mathematical operation.

[0137] The configuration of a carrier-phase-based relative positioning device according to a fourth embodiment of the, invention is now described.

[0138] While the Kalman filter of the third embodiment estimates the floating ambiguity a_(k) from the baseline vector b_(k) when a change occurs in the satellite information, the fourth embodiment employs a Kalman filter which estimates the floating ambiguity a_(k+1) after a change in the satellite information from the floating ambiguity a_(k) obtained before the change when the number of observable positioning satellites has decreased or the reference satellite has changed.

[0139] When there is no change in the satellite information of positioning satellites or when the number of positioning satellites has increased, the same filter equation as shown in the third embodiment is applied. When the number of positioning satellites has decreased or when the reference satellite has changed, however, the baseline vector b_(k), the floating ambiguity a_(k) and the multipath error v_(k) can be estimated by using filter equations shown below.

[0140] (1) When the number of positioning satellites has decreased $\begin{matrix} \begin{matrix} {\begin{bmatrix} b_{k + 1} \\ a_{k + 1} \\ v_{k + 1} \end{bmatrix} = {{\begin{bmatrix} {{B^{\prime}}_{k + 1}^{+}B_{k}^{\prime}} & O & {\alpha \quad {B^{\prime}}_{k + 1}^{+}T_{4}} \\ O & T_{4} & O \\ O & O & {\left( {1 - \alpha} \right)T_{4}} \end{bmatrix}\begin{bmatrix} b_{k} \\ a_{k} \\ v_{k} \end{bmatrix}} +}} \\ {{\begin{bmatrix} {{B^{\prime}}_{k + 1}^{+}\left( {y_{k + 1}^{\prime} - y_{k}^{\prime}} \right)} \\ o \\ o \end{bmatrix} + \begin{bmatrix} w_{bk}^{''} \\ w_{ak}^{''} \\ w_{vk}^{''} \end{bmatrix}}} \end{matrix} & (29) \end{matrix}$

[0141] where B′_(k+1) ⁺=(B′_(k+1) ^(t)B′_(k+1))⁻¹B′_(k+1) ^(t), α is a constant representing a property of multipath errors, and T₄ is a matrix (having the same configuration as the matrix T₁) obtained by multiplying elements of a row of the unit matrix I corresponding to a positioning satellite which become unobservable by 0.

[0142] (2) When the reference satellite has changed $\begin{matrix} \begin{matrix} {\begin{bmatrix} b_{k + 1} \\ a_{k + 1} \\ v_{k + 1} \end{bmatrix} = {{\begin{bmatrix} {{B^{\prime}}_{k + 1}^{+}B_{k}^{\prime}} & O & {\alpha \quad {B^{\prime}}_{k + 1}^{+}T_{3}} \\ O & T_{3} & O \\ O & O & {\left( {1 - \alpha} \right)T_{3}} \end{bmatrix}\begin{bmatrix} b_{k} \\ a_{k} \\ v_{k} \end{bmatrix}} +}} \\ {{\begin{bmatrix} {{B^{\prime}}_{k + 1}^{+}\left( {y_{k + 1}^{\prime} - y_{k}^{\prime}} \right)} \\ o \\ o \end{bmatrix} + \begin{bmatrix} w_{bk}^{''} \\ w_{ak}^{''} \\ w_{vk}^{''} \end{bmatrix}}} \end{matrix} & (30) \end{matrix}$

[0143] where B′_(k+1) ⁺=(B′_(k+1) ^(t)B′_(k+1))⁻¹B′_(k+1) ^(t) and α is a constant representing a property of multipath errors.

[0144] It is possible to easily estimate the baseline vector b_(k), the floating ambiguity a_(k) and the multipath error v_(k) by applying the filter equation for updating the time as seen above even when there has been a change in the satellite information.

[0145] The invention is not limited to the aforementioned embodiments. It is also possible to estimate the floating ambiguity after the change in the satellite information from the baseline vector and floating ambiguity estimated before the change by using one of the following methods:

[0146] (A) Using a filter equation for updating the time generated without using a triple phase difference expressed by

B _(k+1) ⁺(y _(k+1) −y _(k));

[0147] (B) Using a filter equation for updating the time generated by adding an unknown quantity for estimating speed as a substitute for the triple phase difference;

[0148] (C) Using a filter equation for updating the time generated by adding an unknown quantity for estimating acceleration; or

[0149] (D) Using a filter equation for updating the time generated by adding unknown quantities for estimating speed and acceleration as a substitute for the triple phase difference. 

What is claimed is:
 1. A carrier-phase-based relative positioning device comprising: a plurality of antennas mounted on a mobile vehicle or on a mobile vehicle and at a fixed location, one of said antennas being specified as a reference antenna; means for estimating an integer ambiguity and a baseline vector from the result of observation of a single phase difference or a double phase difference based on radio waves transmitted by a plurality of positioning satellites and received by said antennas; and means for verifying said integer ambiguity; wherein a new integer ambiguity is estimated from the previously estimated baseline vector or integer ambiguity when the number of positioning satellites has changed or when the reference antenna has been switched.
 2. The carrier-phase-based relative positioning device according to claim 1, wherein when the number of positioning satellites has increased, the new integer ambiguity is estimated only from said baseline vector estimated before the number of positioning satellites has increased.
 3. The carrier-phase-based relative positioning device according to claim 1, wherein when the number of positioning satellites has decreased, the integer ambiguity after the reduction in the number of positioning satellites is estimated by excluding an estimated value of the integer ambiguity derived from the positioning satellite which has become unobservable.
 4. The carrier-phase-based relative positioning device according to claim 1, wherein the double phase difference is used for estimating the integer ambiguity and, when the reference antenna has been switched, the integer ambiguity after the switching of the reference antenna is estimated by using a difference operation method in response to the reference antenna switching.
 5. The carrier-phase-based relative positioning device according to one of claims 1 to 4, wherein said means for verifying and determining the integer ambiguity determines the integer ambiguity when the reliability of the integer ambiguity has been verified a specific number of times from its successively detected estimated values.
 6. The carrier-phase-based relative positioning device according to one of claims 1 to 4, wherein said means for verifying and determining the integer ambiguity determines the integer ambiguity when the same estimated value of the integer ambiguity has been successively detected a specific number of times.
 7. The carrier-phase-based relative positioning device according to one of claims 1 to 6, wherein said positioning device uses a Kalman filter for estimating a floating ambiguity and the baseline vector from which the integer ambiguity is determined.
 8. The carrier-phase-based relative positioning device according to one of claims 1 to 7, wherein said means for estimating and determining the integer ambiguity based on the floating ambiguity uses lambda notation. 